Structural health monitoring system based on multi-agent coordination and fusion for large structure

In practical applications of structural health monitoring technology, a large number of distributed sensors are usually adopted to monitor the big dimension structures and different kinds of damage. The monitored structures are usually divided into different sub-structures and monitored by different sensor sets. Under this situation, how to manage the distributed sensor set and fuse different methods to obtain a fast and accurate evaluation result is an important problem to be addressed deeply. In the paper, a multi-agent fusion and coordination system is presented to deal with the damage identification for the strain distribution and joint failure in the large structure. Firstly, the monitoring system is adopted to distributedly monitor two kinds of damages, and it self-judges whether the static load happens in the monitored sub-region, and focuses on the static load on the sub-region boundary to obtain the sensor network information with blackboard model. Then, the improved contract net protocol is used to dynamically distribute the damage evaluation module for monitoring two kinds of damage uninterruptedly. Lastly, a reliable assessment for the whole structure is given by combing various heterogeneous classifiers strengths with voting-based fusion. The proposed multi-agent system is illustrated through a large aerospace aluminum plate structure experiment. The result shows that the method can significantly improve the monitoring performance for the large-scale structure.     

Controlling Au electrode patterns for simultaneously monitoring electrical actuation and shape recovery in shape memory polymer

This paper presents an effective approach to achieve efficient electrical actuation and monitoring of shape recovery based on patterned Au electrodes on shape memory polymer (SMP). The electrically responsive shape recovery behavior was characterized and monitored by the evolution change in electrical resistance of patterned Au electrode. Both electrical actuation and temperature distribution in the SMP have been improved by optimizing the Au electrode patterns. The electrically actuated shape recovery behavior and temperature evolution during the actuation were monitored and characterized. The resistance changes could be used to detect beginning/finishing points of the shape recovery. Therefore, the Au electrode not only significantly enhances the electrical actuation performance to achieve a fast electrical actuation, but also enables the resistance signal to detect the free recovery process.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

Electromagnetic shielding properties of iron oxide impregnated kenaf bast fiberboard

The electromagnetic shielding effectiveness of kenaf fiber based composites with different iron oxide impregnation levels was investigated. The kenaf fibers were retted for removing the lignin and extractives from the fibers and magnetized. Using the unsaturated polyester and the magnetized fibers, kenaf fiber based composites were manufactured by the compression molding process. The transmission energies of the composites were characterized when the composite samples were exposed under the irradiation of electromagnetic (EM) wave with a variable frequency from 9 GHz to 11 GHz. Using the Scanning Electron Microscope (SEM), the iron oxide nanoparticles were observed on the surfaces and inside the micropore structures of single fibers. As the Fe content increased from 0% to 6.8%, 15.9% and 18.0%, the total surface free energy of kenaf fibers with the magnetizing treatments increased from 44.8 mJ/m² to 46.1 mJ/m², 48.8 mJ/m² and 53.0 mJ/m², respectively, while the modulus of elasticity reduced from 2875 MPa to 2729 MPa, 2487 MPa and 2007 MPa, respectively. Meanwhile, the shielding effectiveness was increased from 30–50% to 60–70%, 65–75% and 70–80%, respectively.     

Sub-surface stress measurement of cross welds in a dissimilar welded pressure vessel

Manufacturing process of pressure vessels used in high-temperature applications normally needs employing dissimilar metal welds (DMWs) between austenitic and ferritic steel. However, high amount of thermal stresses at the welds are induced due to differences in coefficient of thermal expansion between the types of steel. This study investigates the evaluation of welding residual stresses in a pressure vessel manufactured by DMW of 316 L stainless steel shell to A106 carbon steel caps as well as similar welding of stainless steel shells. By using longitudinal critically refracted (LCR) ultrasonic waves, the residual stresses are experimentally measured. The ultrasonic method is based on acoustoelasticity law by which the ultrasonic wave velocity could be connected to the material stress. By changing the frequency in which the ultrasonic transducers are working, the LCR waves are able to penetrate in various depths of the material in order to measure the sub-surface residual stresses. Hence, four main aspects are considered in this study: (I) stress evaluation of the DMW; (II) sub-surface stress measurement; (III) stress evaluation of longitudinal weld and (IV) stress measurement in cross weld. It is demonstrated that the residual stresses of the DMW pressure vessel could be comprehensively evaluated by using the LCR method.     

Modelling,simulation and identification of an engine air path electromechanical actuator

This paper deals with the modelling and the identification of an electromechanical Diesel engine actuator. The studied Bosch GPA-S actuator is designed for swirl/tumble flaps to control the air amount entering into the cylinder. This study aims to design a complete simulator that reproduces, with sufficient accuracy, the actuator dynamics taking into account the effects of the friction phenomenon. Hence, an overview of the actuator structure and its operation principle is first given. Then, its mathematical model as well as the nonlinearity, related to its behaviour, is discussed. Next, three identification procedures, which allow estimating both the system parameters and the friction model coefficients, are introduced. Finally, simulation results, using MATLAB, and experimental results, using LabVIEW, are presented demonstrating the effectiveness of the proposed techniques.     

Electromagnetism-like algorithms for optimized tool path planning in 5-axis flank machining

Optimization of tool path planning using metaheuristic algorithms such as ant colony systems (ACS) and particle swarm optimization (PSO) provides a feasible approach to reduce geometrical machining errors in 5-axis flank machining of ruled surfaces. The optimal solutions of these algorithms exhibit an unsatisfactory quality in a high-dimensional search space. In this study, various algorithms derived from the electromagnetism-like mechanism (EM) were applied. The test results of representative surfaces showed that all EM-based methods yield more effective optimal solutions than does PSO, despite a longer search time. A new EM-MSS (electromagnetism-like mechanism with move solution screening) algorithm produces the most favorable results by ensuring the continuous improvement of new searches. Incorporating an SPSA (simultaneous perturbation stochastic approximation) technique further improves the search results with effective initial solutions. This work enhances the practical values of tool path planning by providing a satisfactory machining quality.     

Producing fully-lamellar microstructure for wrought beta-gamma TiAl alloys without single α-phase field

Fine-grained fully-lamellar (FL) microstructure is desired for TiAl components to serve as compressor/turbine blades and turbocharger turbine wheels. This study deals with the process and phase transformation to produce FL microstructure for Mo stabilized beta-gamma TiAl alloys without single α-phase field. Unlike the α + γ two-phased TiAl or beta-gamma TiAl with single α-phase field, the wrought multi-phase TiAl–4/6Nb–2Mo–B/Y alloys exhibit special annealing process to obtain FL microstructure. Short-term annealing at temperatures slightly above β-transus is recommended to produce the desired FL microstructure. The related mechanism is to guarantee the sufficient diffusion homogenization of β stabilizers during single β-phase annealing, and further avoid α decomposition by α → γ + β when cooling through α + β + γ phase field. The colony boundary β phase contributes to fine-grained nearly FL microstructure, by retarding the coarsening of the α phase grains.     

Stereo matching cost computation based on nonsubsampled contourlet transform

A new matching cost computation method based on nonsubsampled contourlet transform (NSCT) for stereo image matching is proposed in this paper. Firstly, stereo image is decomposed into high frequency sub-band images at different scales and along different directions by NSCT. Secondly, by utilizing coefficients in high frequency domain and grayscales in RGB color space, the computation model of weighted matching cost between two pixels is designed based on the gestalt laws. Lastly, two types of experiments are carried out with standard stereopairs in the Middlebury benchmark. One of the experiments is to confirm optimum values of NSCT scale and direction parameters, and the other is to compare proposed matching cost with nine known matching costs. Experimental results show that the optimum values of scale and direction parameters are respectively 2 and 3, and the matching accuracy of the proposed matching cost is twice higher than that of traditional NCC cost.     

Homogenization with uncertainty in Poisson ratio for polymers with rubber particles

The main aim of this work is dual computer analysis of probabilistic coefficients for the homogenized tensor of the polymer filled with the rubber particles having randomized Poisson ratios of both constituents. The major issue is to verify an influence of a randomness in rubber Poisson ratio close to the compressibility limit on the uncertainty of the effective tensor probabilistic characteristics. Probabilistic analysis presented here is carried out using mainly the stochastic perturbation technique provided by the common application of the traditional FEM commercial code ABAQUS and the symbolic computations package MAPLE. This FEM-based technique employs polynomial response function of the optimum order recovered from the weighted least squares method and following a set of deterministic solutions obtained for various values of the randomized input parameter. Optimization procedure is released entirely into a symbolic environment, where maximization of the correlation factor together with minimization of the fitting variance and approximation error are applied. Homogenization technique consists in equating of deformation energies for the real composite and the artificial one characterized by the effective elasticity tensor with uncertainty.